Conceptual Reasoning in Multi-agent Environments|partiality, Intensionality, Inconsistency and Preference Conceptual Reasoning in Multi-agent Environments

In this paper a knowledge representation language is related to a framework of Formal Concept Analysis (FCA). A logical formalism has FCA contexts on its semantic side, and formal conceptual systems as proof theories. Agents are associated with (sets of) consistent sources of information, and every source gives rise to a single theory. A family of theories is formed and it is used to build a concept lattice over the theories. Such a concept lattice forms a single epistemic state that provides information on how the theories relate to each other, and how the state itself can be modiied to alternative epistemic states.